Alcor: A user interface for Mizar
نویسنده
چکیده
The Alcor user interface to the Mizar library is intended to provide a test bed for exploring how a mathematician might interact with mathematical knowledge management tools. Specifically, how can a mathematician whilst working on or writing up mathematics look up relevant mathematical knowledge without interrupting their workflow? We describe how a specific interaction style has been used to implement keyword search and discuss how that style could benefit other more complex forms of context-specific searching.
منابع مشابه
User Interface Design in Mobile Educational Applications
Introduction: User interfaces are a crucial factor in ensuring the success of mobile applications. Mobile Educational Applications not only provide flexibility in learning, but also allow learners to learn at any time and any place. The purpose of this article is to investigate the effective factors affecting the design of the user interface in mobile educational applications. Methods: Quantita...
متن کاملA New Single-Display Intelligent Adaptive Interface for Controlling a Group of UAVs
The increasing use of unmanned aerial vehicles (UAVs) or drones in different civil and military operations has attracted attention of many researchers and science communities. One of the most notable challenges in this field is supervising and controlling a group or a team of UAVs by a single user. Thereupon, we proposed a new intelligent adaptive interface (IAI) to overcome to this challenge. ...
متن کاملInvestigating the Level of Observing the Evaluation Criteria for User Interface in library services providing to the blind and deaf users in the word
Purpose: Digital library user interfaces has a determining role in desirable performance of this kind of libraries. Digital Library service providers to the blind and deaf users will have their best performance when the users (deaf and blind users) could have a proper interaction with them. This study aims to evaluate and analyze the criteria related to user interface in digital libraries servi...
متن کاملFUM Students' Understanding of the Terms Used in User Interface of SIMAD Library Software
Background and Aim: The main objective of the research is to determine the understanding level of the students of Ferdowsi University of Mashhad in the terms used in user interface of SIMAD library software. Methods: The study is an applied research with survey descriptive method. Research population was Ferdowsi University of Mashhad, including 24346 students of whom 164 were selected as sampl...
متن کاملInvited talk: Developments, Libraries and Automated Theorem Provers
When formalizing a mathematical development with an interactive prover, it is helpful if the user can interface with a library (to avoid starting from scratch) and with automated provers (to avoid needing to give full details explicitly). We will consider an example of a development in Mizar, leading to some discussion of how one can interact with Mizar's library and how automated theorem prove...
متن کامل